Nuprl Definition : exp
0,22
postcript
pdf
exp(
i
;
n
) == primrec(
n
;1;
x
,
y
.
i
y
)
latex
Definitions
primrec(
n
;
b
;
c
)
,
#$n
,
x
.
A
(
x
)
,
n
m
FDL editor aliases
exp
origin
x,y. i
y) x,y. iy) x.A(x)m